-- MAIN == 0
DEF MAIN:bool == lt(6,3)
